Search Results for 'hoare logic'
hoare logic published presentations and documents on DocSlides.
Matching Logic An Alternative to Hoare/Floyd Logic
by sherrill-nordquist
Grigore. . Rosu. University of Illinois at . Urb...
From Hoare Logic to Matching Logic Reachability
by sherrill-nordquist
Grigore. . Rosu. and Andrei Stefanescu. Univers...
Hoare logic for higher order store using simple semantics
by pasty-toler
Billiejoe (Nathaniel) Charlton. University of Sus...
Checking Reachability using Matching
by liane-varnes
Logic. Grigore. . Rosu. and Andrei Stefanescu. ...
Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism Konstantinos Mamouras Cornell University mamourascs
by tatyana-admore
cornelledu Abstract We study a propositional varia...
Towards a Unified Theory of Operational and Axiomatic Seman
by tawny-fly
Grigore. . Rosu. and Andrei . Stefanescu. Unive...
Higher-order Program Verification as Refinement Type
by marina-yarberry
Inference. Hiroshi Unno (University of Tsukuba). ...